Graphical Debugging with the Transparent PROLOG Machine (TPM)
نویسندگان
چکیده
An augmented and/or tree representation of logic programs is presented as the basis for an advanced graphical tracing and debugging facility for Prolog. TPM can be run in slow-motion/close-up mode for novices or high-speed/longdistance mode for experts with no attendant conceptual change. Moreover, it deals correctly both with clause head matching and with the cut. The current implementation runs on Apollo workstations, and is written in Prolog.
منابع مشابه
Adding Data and Procedure Abstraction to the Transparent Prolog Machine TPM
The Transparent Prolog Machine (TPM) provides a vehicle for visualising the execution of Prolog programs in a manner which is faithful to the underlying behaviour of the Prolog interpreter. Although this fidelity is useful for teaching and debugging purposes, it can be inappropriate when a programmer wishes to view a program at a 'higher level', i.e. in terms of data or procedure abstractions w...
متن کاملDeclarative Debugging with The Transparent Prolog Machine (TPM)
The underlying philosophy of the Transparent Prolog Machine (TPM) is that it should serve as a medium for visualising the execution of Prolog programs in a manner which is rigorously faithful to the internal behaviour of the Prolog interpreter. It is therefore highly biased towards the procedural account of Prolog execution. Although this is useful for certain types of practical program debuggi...
متن کاملA framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs
The search for better Prolog debugging environments has taken a number of different paths of which three are particularly important: improvements to monitoring tools (notably the Transparent Prolog Machine (Eisenstadt & Brayshaw, 1987)), providing for greater user control over the debugging process (notably as in Opium+ (Ducasse, 1988)), and partially automating the debugging process (notably i...
متن کاملGraphical environments to support parallel program development
The paper describes and compares two graphical environments for supporting parallel program development. GRADE supports application programmers in order to develop explicitly parallel programs based on the message passing paradigm. It provides a graphical language GRAPNEL, animation for correctness and performance debugging as well as a performance visualization tool PROVE. The other system, MO...
متن کاملAlgorithmic Debugging and Testing of Prolog Programs
In this paper the IDTS (Integrated Debugging, Testing and Slicing) system is presented for the algorithmic debugging and functional testing of Prolog programs. This system integrates Shapiro's Interactive Diagnosis Algorithm with the Category Partition Testing Method and a slicing technique. Shapiro's original system demands a lot of user interactions during the debugging process. The IDTS meth...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1987